#include <stdio.h>

int main()
{
    int i,x,n,sum=0,s;
    scanf("%d %d",&x,&n);
    s=250*5*(n/7);
    for(i=1;i<=n;i++)
        {
            sum=sum+250;
            if(i==7)
                i=1;
        }
    s=s+sum
}